- static checking
- kontrola statyczna
English-Polish dictionary for engineers. 2013.
static checking
Look at other dictionaries:
Static code analysis — is the analysis of computer software that is performed without actually executing programs built from that software (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version… … Wikipedia
Static — has several meanings:* Static electricity, a net charge of an object ** The triboelectric effect, e.g. from shoes rubbing carpet * White noise, a random signal with a flat power spectral density ** Noise (radio), a type of radio interference **… … Wikipedia
Static timing analysis — is a method of computing the expected timing of a digital circuit without requiring simulation. High performance integrated circuits have traditionally been characterized by the clock frequency at which they operate.Gauging the ability of a… … Wikipedia
Static testing — is a form of software testing where the software isn t actually used. This is in contrast to dynamic testing. It is generally not detailed testing, but checks mainly for the sanity of the code, algorithm, or document. It is primarily syntax… … Wikipedia
ChecKing — is a web application developed by optimyth intended for monitoring the quality of software development process and its results, that covers the needs of organizations that want to control software quality before it is put into production. To do… … Wikipedia
Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually … Wikipedia
Static spherically symmetric perfect fluid — In metric theories of gravitation, particularly general relativity, a static spherically symmetric perfect fluid solution (a term which is often abbreviated as ssspf) is a spacetime equipped with suitable tensor fields which models a static round … Wikipedia
static typing — noun A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing … Wiktionary
List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
